User model - PDFSEARCH.IO - Document Search Engine

User model
Results: 1475

#	Item
921	User assisted separation of reflections from a single image using a sparsity prior Anat Levin and Yair Weiss School of Computer Science and Engineering The Hebrew University of Jerusalem[removed]Jerusalem, Israel Add to Reading List Source URL: www.wisdom.weizmann.ac.il Language: English - Date: 2004-02-11 13:45:38 Computer vision Fourier analysis Differential operators Image processing Laplace operator Normal distribution Mixture model Mathematical analysis Calculus Statistics
922	Breeze User Guide ™ USB Sip/Puff Switch Model: BZ2 Add to Reading List Source URL: orin.com Language: English - Date: 2014-08-21 14:05:14 Computer peripherals Human interface device Human–computer interaction Universal Serial Bus Mouse Headset Joystick Computer keyboard USB human interface device class Computer hardware Input/output Game controllers
923	Free-link Topology Navigation on Statistical Table Objects: Metadata Schema and User Interface Xiangming Mu and Gary Marchionini Interaction Design Lab, School of Information and Library Science University of North Carol Add to Reading List Source URL: ils.unc.edu Language: English - Date: 2003-03-22 11:12:07 Technical communication Data modeling HTML Data management Markup languages XML Database schema HTML element Document Object Model Computing Information Data
924	NuSMV 2.2 User Manual Roberto Cavada, Alessandro Cimatti, Emanuele Olivetti, Gavin Keighren, Marco Pistore and Marco Roveri IRST - Via Sommarive 18, 38055 Povo (Trento) – Italy Add to Reading List Source URL: nusmv.fbk.eu Language: English - Date: 2005-05-05 13:53:02 Procedural programming languages NuSMV Boolean algebra Data types Expr Boolean data type C Model checking FALSE Computing Software engineering Software
925	NuSMV 2.1 User Manual Roberto Cavada, Alessandro Cimatti, Emanuele Olivetti, Marco Pistore, and Marco Roveri IRST - Via Sommarive 18, 38055 Povo (Trento) – Italy Add to Reading List Source URL: nusmv.fbk.eu Language: English - Date: 2002-07-09 12:14:57 Software Model checking Electromagnetism Boolean algebra Finite-state machine Inverter Semaphore Model checkers NuSMV Electrical engineering
926	TwoTowers 5.1 User Manual Marco Bernardo January[removed]c 2006 Add to Reading List Source URL: www.sti.uniurb.it Language: English - Date: 2006-01-17 11:35:25 Applied mathematics Model checking Logic in computer science Bisimulation Functional verification Mathematics Computer science Model checkers NuSMV Theoretical computer science
927	Modeling Processes on Enterprise Level Some Aspects on the Application of Business Ontologies to Business Processes from End User down to EAI Christian Fillies, Frauke Weichhardt & Edgardo Moreira Semtation GmbH Potsdam, Add to Reading List Source URL: www.semtalk.com Language: English - Date: 2006-05-21 07:00:32 Workflow technology Computing Design Information science Knowledge representation Business Process Execution Language Business Process Model and Notation Ontology XPDL Systems engineering Process management Management
928	Ecological Data Analysis System EDAS2 System Overview STORET\WQX User’s Conference November 28, 2007 Jeffrey White Add to Reading List Source URL: www.epa.gov Language: English - Date: 2007-12-11 14:33:28 Database Environment Earth Laboratory information management system Water quality Data model
929	Model Evaluation Tools Version[removed]METv3.0.1) User’s Guide[removed]Developmental Testbed Center Boulder, Colorado, USA Add to Reading List Source URL: www.dtcenter.org Language: English - Date: 2011-03-30 13:10:34 Systems engineering NetCDF University Corporation for Atmospheric Research National Center for Atmospheric Research Systems engineering process Atmospheric sciences Meteorology Earth sciences graphics software
930	Preliminary Draft VerTEX User’s Manual by Hal R. Varian Add to Reading List Source URL: ctan.uib.no Language: English - Date: 2005-12-17 10:51:00 Application software Desktop publishing software Digital typography Donald Knuth TeX Hal Varian Microeconomics Economic model Scribe Typesetting Publishing Typography

UPDATE